1

Fault Tree Analysis for Safety/Security Verification in Aviation Software

Year:
2013
Language:
english
File:
PDF, 452 KB
english, 2013
3

Hardware Certification for Safety-Critical Real-Time Systems

Year:
2009
Language:
english
File:
PDF, 236 KB
english, 2009
9

Conservation Tillage Under Threat in the United States

Year:
2015
Language:
english
File:
PDF, 1.98 MB
english, 2015
15

Computing Curricula for the 21st Century

Year:
2008
Language:
english
File:
PDF, 160 KB
english, 2008
38

A domain centered curriculum

Year:
1995
Language:
english
File:
PDF, 445 KB
english, 1995